Timothy Griffin

Results: 23



#Item
1

Exploring the Stratified Shortest-Paths Problem Timothy G. Griffin Computer Laboratory University of Cambridge, UK

Add to Reading List

Source URL: www.cs.stir.ac.uk

- Date: 2010-06-17 03:55:50
    2

    A Formulae-as-Types Notion of Control Timothy G. Griffin* Department of Computer Science Rice University Houston, TX

    Add to Reading List

    Source URL: www.cs.ru.nl

    Language: English - Date: 2011-10-04 07:32:04
      3Operations research / Edsger W. Dijkstra / Network theory / Shortest path problem / Mathematical optimization / Routing algorithms / Systems engineering / Dynamic programming

      Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK

      Add to Reading List

      Source URL: www.monmeetings.org

      Language: English - Date: 2015-09-04 10:24:56
      4Internet Standards / Routing / Computer networking / Internet protocols / Border Gateway Protocol / Autonomous system / Route Views / Router / Routing protocol / SQL Slammer / IP hijacking

      Interdomain Routing Streams Timothy G. Griffin∗ Zhuoqing Morley Mao† Abstract

      Add to Reading List

      Source URL: sahara.cs.berkeley.edu

      Language: English - Date: 2004-05-07 19:48:08
      5

      Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UK

      Add to Reading List

      Source URL: www.pps.univ-paris-diderot.fr

      Language: English - Date: 2013-09-22 09:55:54
        6Bioenergy / Biomass / Gasification / Thermal treatment / Biofuel / Gas turbine / Energy technology / Combustion / Alternative Energy Solutions International / Energy / Technology / Energy conversion

        Alumni Spotlight Timothy A. Griffin ’84 has focused his career on the discovery of new, clean and efficient energy technologies. Currently a professor of thermodynamics and energy research at the University of Applied

        Add to Reading List

        Source URL: www.che.udel.edu

        Language: English - Date: 2014-09-17 10:22:29
        7Software testing / PlanetLab / Abilene Network / Border Gateway Protocol / Routing / Router / Internet / Network architecture / Computing

        The Interdomain Connectivity of PlanetLab Nodes Suman Banerjee University of Wisconsin, Madison Timothy G. Griffin Intel Research, Cambridge UK Marcelo Pias

        Add to Reading List

        Source URL: www.planet-lab.org

        Language: English - Date: 2009-06-12 12:01:19
        8Internet protocols / Internet standards / Routing protocols / Operator theory / Computer networking / Structure / Border Gateway Protocol / Routing / Model theory / Internet / Network architecture / Mathematics

        Metarouting Timothy G. Griffin Joao ˜ Lu´ıs Sobrinho Computer Laboratory Instituto de Telecomunicac¸oes ˜

        Add to Reading List

        Source URL: conferences.sigcomm.org

        Language: English - Date: 2005-08-03 21:37:26
        9Physics / Path vector protocol / Border Gateway Protocol / Routing / Distance-vector routing protocol / Open Shortest Path First / Flow network / Shortest path problem / Norm / Routing protocols / Mathematics / Network architecture

        Design Principles of Policy Languages ∗ for Path Vector Protocols Timothy G. Griffin AT&T Labs – Research Florham Park, NJ, USA

        Add to Reading List

        Source URL: conferences.sigcomm.org

        Language: English - Date: 2003-07-24 11:26:28
        10Data / Technical communication / World Wide Web / Academic publishing / Linked data / Digital object identifier / VoiD / Metadata / Uniform resource identifier / Semantic Web / Information / Knowledge representation

        Cross-Linking DOI Author URIs Using Research Networking Systems Nick Benik , Timothy Lebo , Griffin M. Weber 1 2

        Add to Reading List

        Source URL: www.iscb.org

        Language: English - Date: 2014-03-04 19:22:54
        UPDATE